ma-interface-non-degenerate(I)
== i:Id. (i  ma-interface-locs(I))  (k:Knd. (k  ma-interface-dom(I;i))) 

latex

---

clarification:

ma-interface-non-degenerate(I)
== i:Id. (i  ma-interface-locs(I)  Id)  (k:Knd. (k  ma-interface-dom(I;i)  Knd)) 

latex

Definitions	x:A. B(x), P  Q, ma-interface-locs(I), Id, x:A. B(x), (x  l), ma-interface-dom(I;i), Knd
FDL editor aliases	ma-interface-non-degenerate